grammar1.5, EFact closes over all factories except for EmptyFact

E	::= F | F + E
F	::= num | id



E	::= F E1
E1	::= E1a | Empty
E1a	::= + E
F	::= F1 | F2
F1	::= num
F2	::= id